Justification Logic
メモ
様相
$ \Box
を「知っている」概念と捉える
ご存知
様相論理の公理K
$ \Box(A \to B) \to \Box A \to \Box B
これは荒い解析だという批判もある．
$ A \to B, A
を知っている証拠 / witness
$ s,t
とする
$ ( s : A \to B) \to ( t:A \to s ,t :B)